Utricularia amethystina Salzm. ex A.St.-Hil. & Girard
نویسندگان
چکیده
منابع مشابه
Girard Couples of Quantales
We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples arise in the study of endomorphism quantales and of the spectra of operator algebras. We construct, for an arbitrary sup-lattice S, a Girard quantale whose right-sided part is isomorphic to S.
متن کاملThe Girard-Reynolds Isomorphism
ion Theorem x1 : A1, . . . , xn : An ` t : B in F2 ⇒ (x1, x1) ∈ A ∗‡ 1 , . . . , (xn, x ′ n) ∈ A∗‡ n ` (|t|, |t|′) ∈ B∗‡ in P2
متن کاملCarnivorous Utricularia: the buckling scenario.
We review recent results about the functioning of aquatic carnivorous traps from the genus Utricularia. The use of high speed cameras has helped to elucidate the mechanism at the origin of the ultra fast capture process of Utricularia, at a millisecond time scale. As water is pumped out of the trap, pressure decreases inside the trap and elastic energy is stored due to the change of shape of th...
متن کاملAnalysis Type Lex / Parse Translation Optimizer Back End AST AST
This paper proposes an alternate structure for C++ compilers. Type analysis is removed from the compiler and replaced with a type system library which is treated as source code by the compiler. Type computations are embedded in the intermediate language of the compiler, and partial evaluation is used to drive type analysis and template in-stantiation. By making simple changes to the behavior of...
متن کاملA response to Baltag, Girard, and White
The aim of this short note is to o¤er some brief responses to the comments (on Dietrich and List 2013) that we have received from Alexandru Baltag and, in a coauthored piece, Patrick Girard and Shaun White. We would like to begin by thanking Baltag, Girard, andWhite for their thoughtful and generous comments. Given space constraints, unfortunately, we are not able to do full justice to all thei...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Heringeriana
سال: 2015
ISSN: 2359-165X,1983-6996
DOI: 10.17648/heringeriana.v9i1.139